Developing correct, distributed, adaptive software
نویسندگان
چکیده
منابع مشابه
Developing correct, distributed, adaptive software
We illustrate our approach to develop and verify distributed, adaptive software systems. The cornerstone of our framework is the use of choreography languages, which allow us to obtain correctness by construction. Workflow Patterns are also used as abstract tools to design real systems, while techniques based on abstract interpretation and on dynamic verification are integrated in our framework...
متن کاملGuiding Principles for Developing Adaptive Software Products
This paper presents an analysis of problems that are faced by software development practitioners. While communication, team management, coding and software documentation are some of the persistent problems, the first and major troubles for software practitioners is to select appropriate software development approach. This approach should allow developers to develop adaptive software products. T...
متن کاملConstructing Adaptive Software in Distributed Systems
Adaptive software that can react to changes in the execution environment or user requirements by switching algorithms at runtime is powerful yet difficult to implement, especially in distributed systems. This paper describes a software architecture for constructing such adaptive software and a graceful adaptation protocol that allows adaptations to be made in a coordinated manner across hosts t...
متن کاملAdaptive Protocols for Software Distributed Shared Memory
We demonstrate the bene ts of software shared mem ory protocols that adapt at run time to the memory access patterns observed in the applications This adaptation is automatic no user annotations are required and does not rely on compiler support or special hardware We in vestigate adaptation between single and multiple writer protocols dynamic aggregation of pages into a larger trans fer unit a...
متن کاملProducing Software Correct by Construction
sorts are re ned into concrete data types. Re nement may be performed by using morphisms or interpretations to show how a standard library data type can be used to represent a particular abstract data type. After the speci cation has been re ned into a suitable form, standard library components (algorithms and data types) are converted into components in some executable programming language (e....
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 2015
ISSN: 0167-6423
DOI: 10.1016/j.scico.2013.11.019